Rétro-ingénierie des plateformes pour le déploiement des applications temps réel

This Work deals with te defintion of a new methodology called DRIM for the development of real-time embedded systems following the Model-Driven development paradigm.Les travaux présentés dans cette thèse s’inscrivent dans le cadre du développement logiciel des systèmes temps réel embarqués. Nous définissons dans ce travail une méthodologie nommée DRIM (Design Refinement toward Implementation Methodology). Cetteméthodologie permet de guider le déploiement des applications temps réel sur différentssystèmes d’exploitation temps réel (RTOS) en suivant la ligne de l’Ingénierie Dirigée parles Modèles (IDM) et en assurant le respect des contraintes de temps après le déploiement.L’automatisation de la méthodologie DRIM montre sa capacité à détecter les descriptionsnon-implémentables de l’application, réalisées au niveau conception, pour un RTOS donné,ce qui présente l’avantage de réduire le temps de mise sur le marché (time-to-market) d’unepart et de guider l’utilisateur pour un choix approprié du RTOS cible d’autre part

Reverse-engineering of platforms for the deployment of real-time applications

Les travaux présentés dans cette thèse s’inscrivent dans le cadre du développement logiciel des systèmes temps réel embarqués. Nous définissons dans ce travail une méthodologie nommée DRIM. Cette méthodologie permet de guider le déploiement des applications temps réel sur différents RTOS en suivant la ligne de l’IDM et en assurant le respect des contraintes de temps après le déploiement. L’automatisation de la méthodologie DRIM montre sa capacité à détecter les descriptions non-implémentables de l’application, réalisées au niveau conception, pour un RTOS donné, ce qui présente l’avantage de réduire le temps de mise sur le marché d’une part et de guider l’utilisateur pour un choix approprié de l’RTOS cible d’autre part.The main purpose of this Phd is to contribute to the software development of real-time embedded systems. We define in this work a methodology named DRIM: Design Refinement toward Implementation Methodology. This methodology aims to guide the deployment of a real-time application on to different RTOS while respecting MDE principals and ensuing that the timing properties are still met after deployment. The automation of DRIM shows its ability to detect non-implementable design models describing the real-time application, on aparticular RTOS, which permits to reduce the time-to-market on the one hand and guide the user to the selection of the appropriate RTOS from the other hand

A MDD Approach for RTOS Integration on Valid Real-Time Design Model

International audienc

Real-Time Design Models to RTOS-Specific Models Refinement Verification

International audienc

From real-time design model to RTOS-specific models: a model-driven methodology

International audienc

RTOS-Aware Refactoring for Portable Real-Time Design Models

International audienceIn a model-driven development context, the refinement of a Real Time Operating System (RTOS) independent design model of a real-time application to a RTOS specific implementation model is a non-trivial task. Indeed, the different design choices made to guarantee the application timing properties are not always implementable on the target RTOS. In this paper, we propose a pattern-based approach to perform the refactoring of the real-time design model when a deployment problem appears. This refactoring guarantees the deployment of the refactored design model and the respect of its timing properties. This paper explains in details two examples of patterns which are the Equal Priority Merge Pattern (EPMP) and the Distinct Priority Merge Pattern (DPMP). The automation of the proposed approach allows showing its applicability on a robotic case study

SRMP: a software pattern for deadlocks prevention inreal-time concurrency models

International audienceModel-based approaches for the development of software intensive real-time embedded systems allow early verification of timing properties at the design phase. At this phase, the Real-Time Operating System (RTOS) may not be chosen, hence some assumptions on the software platform are made to achieve timing verifications such as schedulability analysis of tasks describing the application. Among these assumptions, the synchronization protocol which is used to manage the concurrent access to resources that are shared between tasks. A classical solution is to consider the Priority Ceiling Protocol (PCP) synchronization protocol to avoid deadlocks. However, when this protocol is not provided by the target RTOS on which the application will be deployed, the concurrency model becomes not implementable and a new synchronization protocol must be considered. In this paper, we propose the Shared Resource Merge Pattern (SRMP) which aims to prevent deadlocks when the use of PCP protocol is not allowed by the target RTOS. The application of this pattern on the concurrency model must guarantee that the timing properties of the real-time application are still met

DPMP: A Software Pattern for Real-Time Tasks Merge

International audienc

Genome wide identification, molecular characterization, and gene expression analyses of grapevine NHX antiporters suggest their involvement in growth, ripening, seed dormancy, and stress response

Plant NHX antiporters are critical for cellular pH, Na+, and K+ homeostasis and salt tolerance. Even though their genomic and functional studies have been conducted in many species, the grapevine NHX family has not been described yet. Our work highlights the presence of six VvNHX genes whose phylogenetic analysis revealed their classification in two distinct groups: group I vacuolar (VvNHX1--5) and group II endosomal (VvNHX6). Several cis-acting regulatory elements related to tissue-specific expression, transcription factor binding, abiotic/biotic stresses response, and light regulation elements were identified in their promoter. Expression profile analyses of VvNHX genes showed variable transcription within organs and tissues with diverse patterns according to biochemical, environmental, and biotic treatments. All VvNHXs are involved in berry growth, except VvNHX5 that seems to be rather implicated in seed maturation. VvNHX4 would be more involved in floral development, while VvNHX2 and 3 display redundant roles. QPCR expression analyses of VvNHX1 showed its induction by NaCl and KNO3 treatments, whereas VvNHX6 was induced by ABA application and strongly repressed by PEG treatment. VvNHX1 plays a crucial role in a bunch of grape developmental steps and adaptation responses through mechanisms of phyto-hormonal signaling. Overall, VvNHX family members could be valuable candidate genes for grapevine improvement.This research work was fnancially supported by the Ministry of Higher Education and Scientifc Research of Tunisia. We are grateful to Mr Riadh BEN MARZOUG for his helps with some software.info:eu-repo/semantics/publishedVersio